fix html4