Attempt to fix strange error with PHP 5.3