HOTFIX: highlight the name of the current page in the header