fixed the use of await + eventually in the mutable case