Fixed a bug with the instructions highlighting