deal correctly with /* comments */