Fix for jslint.