Closed tresi closed 11 years ago
Fix typo introduced in 730671d.
This has also been fixed in the print-ready pdf.
Fix typo introduced in 730671d.