Some obvious small fixes to dwarfnamecmds.tex are needed for