[dfmc-mangling] Clean up whitespace.