Syntax bug fix (thanks Fred!)