Add better comments to navigate().