Re: Weird error in tla package