Small PHP error fix