[dfmc-mangling] Fix alignment.