[#197] Fix navigation bug after formatting changes.