the bug has now been fixed