Very minor comment cleanup.