another fix to highlighting