Bug fix: define charset for Scanner