(fix minor syntax error)