make jslint.js somewhat happier. No changes to exercise_screen.js, since it needs to be completely refactored