adjust indentation in JSSO.js at line 231