more formatting fixes in the doc