fix uses of rcs.set() in the FF backend; closes #433