Small bugfix in navigation