gjslint is happy