Fix mangled formatting