fix phpspecs