fix #5: use valid HTML