Minor doc formatting fixes