Corrected comments in json pretty/ugly procedures (fixes #4255).
Corrected comments in json pretty/ugly procedures (fixes #4255).

singularperturbation/Nim,dom96/Nim,zachaysan/Nim,tulayang/Nim,zachaysan/Nim,tulayang/Nim,haiodo/Nim,jfhg/Nim,dom96/Nim,zachaysan/Nim,zachaysan/Nim,tulayang/Nim,zachaysan/Nim,haiodo/Nim,haiodo/Nim,singularperturbation/Nim,jfhg/Nim,mbaulch/Nim,russpowers/Nim,dom96/Nim,mbaulch/Nim,tulayang/Nim,haiodo/Nim,dom96/Nim,jfhg/Nim,tulayang/Nim,russpowers/Nim,dom96/Nim,singularperturbation/Nim,mbaulch/Nim,haiodo/Nim,russpowers/Nim,jfhg/Nim,dom96/Nim,russpowers/Nim,zachaysan/Nim,haiodo/Nim,russpowers/Nim,haiodo/Nim,singularperturbation/Nim,singularperturbation/Nim,singularperturbation/Nim,russpowers/Nim,jfhg/Nim,dom96/Nim,jfhg/Nim,mbaulch/Nim,jfhg/Nim,tulayang/Nim,mbaulch/Nim,mbaulch/Nim,mbaulch/Nim,singularperturbation/Nim,zachaysan/Nim,russpowers/Nim