php minor change