Workaround for Python3.3 specific code. 3.2 people: live with the bug