Three one-liners that closes three tickets. #338, #339 and #341.
Authored by: jonas 2004-05-10
Parent: [r479]
Child: [r481]