Fix phpspec after reformating