I'm not sure what the side effects of changing that may be; everything seemed to work though (failed in borrowck before the change; not sure if it should have or not).