jslint refuses to surcharge undefined