Fixed a typo in Rachid's commit