Specify coding for Python due to UTF-8 in comments