Some doc formatting fixes