A couple documentation fixes

Not yet ff'd, so we can't automerge, but it shouldn't be too hard to get it done.