bug seems to be fixed in python 2.7