Improved comments. No functional change intended.