This was intentional. The issue is that you cannot use await inside of a catch() or finally block, so we had to move await specl.value() outside of the catch, and couldn't put it in the finally.