Fix PHPSpec