Auto-update of docs: Doc formatting fixes.