This should go right after implicit highlighting (again, alphabetic order :))