minor type corrected

This commit is contained in:
2021-04-01 13:26:16 +02:00
parent bcb012fc65
commit 6c1c6cbc42