Fixed a PHProxy bug