Use non-greedy regexps, for safety.
authorRogério Brito <rbrito@ime.usp.br>
Sat, 29 Jan 2011 06:13:54 +0000 (04:13 -0200)
committerRogério Brito <rbrito@ime.usp.br>
Sat, 29 Jan 2011 06:13:54 +0000 (04:13 -0200)
Since I was very lazy when I coded this, I took the fastest route.  Luckily,
Vasyl' Vavrychuk pointed this out and I went (after many months) and just
did some minor changes.


No differences found