correctly handling global include_toc_in_nav