very small bugfix

This commit is contained in:
Simon Martens
2022-11-11 08:32:23 +01:00
parent 8c26cb44d0
commit 501814b543