yes, I wrote it before coding the fix, and it failed