remove stray '/*' within comment