fixup! add options collection to SoftwareSpec