Remove this change please, as it should not be necessary.