Fixed small highlighting issue. (Oops!)