javadoc says "This method should only be called by a Navigator." so not needed in scaladin's API