Tiny navigation tweak