Navigator: fix comment