A tiny bit of jshint cleanup.