Fix phpspec