doc formatting patched