[hy] fix encoding problem
[hy] fix option in example