to be friendly with jslint