Fix bug 1025155: error message highlighting