fix Fingertree generators