declared encoding explicitly to fix display bug