Fixed highlighting. #356.