Fix according to python 2.5.2 syntax.