fix PHP parse error