Fix asynchrony bug. New bug: does not work.