diff --git a/src/libcmd/repl.cc b/src/libcmd/repl.cc
index d25ad582e..f5abaad9b 100644
--- a/src/libcmd/repl.cc
+++ b/src/libcmd/repl.cc
@@ -221,7 +221,7 @@ static std::ostream & showDebugTrace(std::ostream & out, const PosTable & positi
         : static_cast<std::shared_ptr<AbstractPos>>(positions[dt.expr.getPos() ? dt.expr.getPos() : noPos]);
 
     if (pos) {
-        out << pos;
+        out << *pos;
         if (auto loc = pos->getCodeLines()) {
             out << "\n";
             printCodeLines(out, "", *pos, *loc);