Fixed bug where r10 would not be highlighted