Another fix for replwrap API