Fix PHP 5.3 compatibility, refs #1473