Adding red highlighting to unknown labels in error messages (issue #19)