small bugfix #17

Closed ehenneken closed 2 years ago