Repl friendly printer

Arg, it includes the previous commit whatever I do...

Feel free to just deny this PR and modify by hand, it's a trivial change anyway.