This seems to be is fixed.