Get rid of now unnecessary patch