Small doc fixes

Fixes a few minor warnings/errors. There's still a bunch of `duplicate label` and `not included in toctree` warnings, but I think those are on files that are `include`d, so shouldn't be a problem.