Small fix for PHP version change
Small fix for PHP version change