navigator: minor formatting fix

This commit is contained in:
Anton Babushkin
2014-06-26 13:44:41 +02:00
parent 63e14c73ba
commit 6e5aafb3a7