PHPSpec is now working