Fixup for de42d5f5 - syntax error