fix a typo #188

Closed gstein closed 1 year ago