Fixed minor include error in main TUMAL module