Slightly better docs for Navigator