Add the navigation module untested