are you sure that bug is indeed fixed?