Minor change in pystone.py