That change is, hrm, not needed :-)