Fixed some SF things, there are still problems in sf-list.fst