Fixed minor highlighting issue