slightly neater html output