Minor additions to Navigator.