minor edits after jshint