Added a default HIGHLIGHT and DEHIGHLIGHT alias