Fixed highlighted values

When there were pencil marks, the box didn't show anything as
highlighted. This isn't good, obviously. Now it does :-)
Clear and reset get rid of pencil marks as well.