Undo the change in specctra_export I erroneously committed, which is not fully tested.