The bug finally got fixed.