Small improvements to the navigation interface

Signed-off-by: Joseph Rézeau <moodle@rezeau.org>