Fixed bug #79
Now non-ascii symbols are supported