I think you are right that it shouldn't be needed any more. I'll try it...