fix nav highlight, fixes #38