Remove superfluous Debug.Trace import.
Fix some haddocks.