fix for yield in PHP 5.5