See here. See also this very interesting post on the Brad Blog about whether the ES&S instructions about undervotes available on the company’s website matched the programming used in Sarasota County that day. And see this PFAW Foundation press release, claiming “voting machine error” was a major problem in the FL-13 voting.