removing old html4 cruft