Fix PHP error... apparently