Fixing a weird PHP error