fix bug in RevisionInputFormat