Good spot. This bug was introduced when splitting the executing and the verification. Will fix.