PHP 5.3 compatible fix

plz merge this PR!