fix html.rkt