bugfix for nav highlighting