slightly more type-safe and extending friendly navigation