D.Trace: whitespace, alignment, etc.
D.Trace: tiny Haddock formatting fix