Deleted some old specs