Minor bug fixes in navigation