Fixup synthetic-readings repl fn.