corrected minor error

This commit is contained in:
Simon Wilkening 2024-10-18 13:53:21 +02:00
parent ba837d4016
commit 0cdd345ab5