Does Congress use Diebold voting machines?

Via Atrios, comes this Roll Call report (emphasis mine):

House Republicans are taking a mulligan on the first ballot for Majority Leader. The first count showed more votes cast than Republicans present at the Conference meeting.

Oops!