fixed a minor auto-correction bug in jspretty