small correction to syntax