fix doctest problem
Merge branch 'dev' into repl