Completed (hopefully) SimpleNavigator class.