small fixes #87

Closed jehrlich closed 2 years ago