Fix: a place that resulted in an error in the gjslint.