navigator: minor formatting fix