Documentation formatting (again)