Fixup docs/