Minor doc formatting