fix a trivial syntactical miss