further work on html output