sequencer.c: require a conforming footer to be preceded by a blank line