fixed a minor comment bug in jspretty and character comparison bug
fixed a minor comment bug in jspretty and character comparison bug