minor fixes

This commit is contained in:
2022-02-10 19:21:27 +01:00
parent 023eeb1463
commit 9b99918cdd
2 changed files with 9 additions and 8 deletions