tiny improvement to navigation