Fixed a little highlighting error.