change to accomodate earlier versions of php