Resolved a python 3.3 syntax problem