minor syntax correction