Regenerated spec