Fixed a couple of bugs, and added methods needed by new export
Bug fixes from testing sequence export