navigator: debug code removed