Misc work on the docs