minor tweaks on syntax highlight