button cannot have name attribute, when other elements can

(0.6.8)
For example the following produces an error since "button" cannot have attribute name when input or buttonInput can. Shouldn't name be available for buttons, too?

System.out.appendHTML().html {
	body {
		div {
			button(name = "buttonName")
                       buttonInput (name="buttonInputName")
			input(name = "inputName")
		}
	}
}