It seems the problem is fixed

This seems to fix the problem.