Bug fixes.  Now a run with desm is able to exactly reproduce its input.