This is made automatically by `fixgjslint` which I think it is real crap