More doc formatting fixes