spec for boolean attributes in html generator