fixing js style according to gjslint. no functional changes