Fix repl after #1331 broke it.

Fixes #1351.