Fix asyncio code example