Another docs fix for asyncio.