Fix some jsHint in robots.js