minor frontend changes and added simple unicode support