Issue #12: fix seeds