Brooks Moses writes:

 > >The current errata file (yes, some errors have already been found) can be
 > >found at
 > >
 > >
 > >
 > >It is not yet visible on the project web site but with the above link you
 > >should be able to get it directly.
 > So, how do we go about submitting the errors that we've found?

sorry, i should have added that in the mail, it is given in the tlc2.err file:
to me (i'm stupid enough to take care of it).