jslint and formatting