syntax fix for older versions of php