fix a syntax error
Signed-off-by: Henry Chen <hchen@vmware.com>