* small bugfix in navigation