small fix to run on python 2.5