bugfix in PHP-DI bridge