More fixup for HoundCI. Fix up some small issues in docs.