Yet another jslint fix.