Fix: a minor bug in supporting customized printing;
Fix: a minor bug in handling UTF-8 in the regex set pattern;
Add: minor updates to the help documentations.