Minor changes to make validator.w3.org happy.
Authored by: jonas 2004-02-12
Parent: [r130]
Child: [r132]