fix phpspec