Fixup of syntax error