Fix typo in previous commit regards PHP version number