Update the specification to reflect suggestions in issue #39

partial interface Navigator