fix top-level interface to sequencer