Fixes errors in PHP 5.3.14