Clean up two small glitches in comments