navigator: whitespace fix