Comment whitespace fix

Very tiny fix.