DebugTut: cleanup