FIXUP: one more quot