fix syntax

Signed-off-by: Greg Dietsche <gregory.dietsche@cuw.edu>