I'm not sure. I googled and found this. https://github.com/phpspec/phpspec/issues/34