fix a bug in pypy