small improvements and fixes #18

Merged
muellerr merged 1 commits from smaller-improvements-and-fixes into main 2024-07-03 22:48:09 +02:00