minor highlighting tweak