Fix four errors emitted by `sphinx make-docs`
Merge pull request #1328 from Ichimonji10/sphinx

Fix four errors emitted by `sphinx make-docs`