Made some navigator methods virtual (fixes #223)