Nope, you are right (and that made me found an other subtle bug). Squashing and updating!