minor syntax patch