tree ebbf8a0c26e3701a960c75dfad70a49cc7e04f53
parent 56fdab67d8f419b76ba5fc4237e10c7b31afc8c6
author Roberto Ierusalimschy <roberto@inf.puc-rio.br> 867436774 -0300
committer Roberto Ierusalimschy <roberto@inf.puc-rio.br> 867436774 -0300

small corrections.