fix PHP helper