Commit a8a244dd9f028cb4a3a7f05a51ec1bdcb96f3195

Stefan Sperling 2022-01-03T11:50:14

simpler fix equivalent to the previous commit