Regenerated spec for 2.0.2, including integer widths fix