Whoops, reversed inequality. Forgot to check whether this is being run *too* often.