PHP version bug fix