Sorry about that, I checked this but I didn't understand the code well!

As you suggested, just adding those line to the `case` would have unaltered the behaviour.