Prevent PHP error in older PHP versions