jslint and whitespace edits