fixing an unrealizability in the old QFCS model