try to make py3k happy