fix another minor syntax error