fix syntax for Py3k