SPAN attribute of COL element being ignored in Mozilla 1.0 rc1

(Note: this is a regression bug - I don't know when it appeared, but I remember the SPAN attribute on COL elements worked fine sometime before Mozilla 0.9.6)

The following TABLE has a COLGROUP structure of:

<colgroup>
 <col width="100" span="2">
 <col width="200">
</colgroup>

So the first two colums should both be 100px wide, and the third should be 200px wide.

However, the first column is 100px, the second is 200px, and the third is the default width.

So it would appear that the SPAN attribute is being ignored.