modify core&util&formatter spec