Making gjslint happier