Was the absence of Dispose before an unrelated bug you found?