jslint_happy: true. #1