Provisionally fixes public navigate-to commands.