this comma makes gjslint unhappy too