The bug has been fixed