Minor fixes.
Recognize Midos DBM as input format, too.