We should document this somewhere, specifically the bit about alphabetizing attribute order.