Noting here for posterity that the change is OK :)