The bug should now be fixed