The issue is fixed and can be closed.