fix weird syntax highlighting bug