Fix one more Python 2.5 incompatibility