fix: idris/sf typos