Fix block comment highlighting

Block comment content is currently not being highlighted as such, but is treated as code, which seems to be the result of a search-and-replace mistake. This commit fixes that.