some html output format fixes