updates after linting script with Travis Weblint