Python snippet: no encoding cookie for Python 3