slight php change