Proper tags and hilite