Fix for #581

Trying to cope with older versions of jshint.