fix typo in name of source file in toctree