fix stuff that should be conditional on 'JSON Navigation' setting