interesting bug
how could that bug be there?