Fix problem for older PHPs