DebugTut: amended the AliDebug part

Thanks Jochen for pointing this out!