Added a seed file, and improved the spec