Fixes #10: futures are now retrieved asynchronously too.