more minor changes #50

Closed wwieder closed 1 year ago