Why? The encoding problem only appears in the views. So I moved the proper encoding there (and improved it in ```proper_encoding```).