minor cleaning #72

Closed wwieder closed 1 year ago