remove spurious unicode character from comments