fix for older PHP version