Fix for old PHP 5.3.x