fix last broken example

This commit is contained in:
2023-09-17 01:12:05 +02:00
parent 59192dbe50
commit 4eea3896ba