Small fix for PHP version change