Fix PHP 5.3 warning.