a few html cleanups