yes, @TomFischer is right.
I'll fix that ... it's surprising that this didn't cause any issues with my test cases ...