updated for docs navigation. I missed this push before