Make jslint a bit happier.