Syntax fix

/cc @michiels