Minor doc formatting.