Small fixups for the docs