explicitly set encoding