Fixed problem caused by error highlighting (issue #2)