tweaking doc formatting