fixed stupid ugly highlighting