Because I'm an idiot and didin't simplify when I translated from RPython. Thanks.