Add a test case: check nav