How did that bug occur? Was the code generated by your code generator?