adjustments to make jsl (javascriptlint) happy