that bug should be in the bug list