Fix bugs in SpliceAPI