making a minor edit (sorry hakim)