doc: clean up asynchronous execution example