The problem is now fixed.