Problem solved in f878660.