More semantically correct html output