misc tweaks;
disable highlight until useful;