Remove stray character in a comment