[#942] Fix broken toctree in docs