Untag specs fixed by recent PRs.