Fixes #2645 -- block comments should always be closed