added mapFst