Some changes recommended by javascriptlint