Encoding error corrected in the user guide: UTF8 replaced by ANSI.