Fix minor problem with __getnewargs__