fixing PHP