Fix four errors emitted by `sphinx make-docs`