navigator: get rid of more warnings