repl broken in poke

[Jose E. Marchesi]

Hi John.


    +  /* Due to readline's apparent inability to change the word break
    +     character in the middle of a line, we have to do some underhand
    +     skullduggery here.  Spaces are substituted with SPACE_SUBSTITUTE,
    +     and then substituted back again in various callback functions.  */

This broke poke:

(poke) 4 / 2
<stdin>:1:5: error: syntax error, unexpected INTEGER
4   2;
    ^

Note how '/' characters are transformed to whitespaces.
Can you please take a look ASAP?

Thanks!