The bug seems to be fixed.