fix syntax error

Signed-off-by: Jim Klo <jim.klo@sri.com>