define-html and make-html with attributes: