fixed some highlighting