Minor additions in comments. No functional changes.