Finally fix PHP