Fix syntax

Signed-off-by: Christoph Kassen <christoph@kassen.name>