Debugging the Navigator