make jslint happy #594