Fixes #5 (closed).
Pipeline #453428 passed
Pipeline passed for 1ce5d013 on rbultje:fix5 1 year ago
Pipeline #453731 passed
Pipeline passed for 1ce5d013 on master 1 year ago