minor edit due to recent Python 2.7.4 release