Fix a few bugs, regenerate formatpings