Made source code input encoding explicitly UTF-8