patch for pypy bug