Fixup: use "genf" in main function