even more fixes; remove SmileEncoding