Fix a bug found by jshint.