fixes some syntax highlighting annotations