Changes to make jslint happy