fix navigator filtering
2 files changed