diff --git a/src/rdb/rdb/rdbRVEReader.cc b/src/rdb/rdb/rdbRVEReader.cc
index 950dfe2ae..533ddde7a 100644
--- a/src/rdb/rdb/rdbRVEReader.cc
+++ b/src/rdb/rdb/rdbRVEReader.cc
@@ -146,7 +146,7 @@ public:
           error (tl::to_string (tr ("Unexpected end of file")));
         }
 
-        std::string l = get_line ();
+        std::string l = m_input_stream.get_line ();
         if (l.size () > 3 && l[0] == 'W' && l[1] == 'E' && isdigit (l[2])) {
 
           size_t n = 0;
diff --git a/src/rdb/unit_tests/rdbRVEReaderTests.cc b/src/rdb/unit_tests/rdbRVEReaderTests.cc
index 096c36df1..bb4b6129c 100644
--- a/src/rdb/unit_tests/rdbRVEReaderTests.cc
+++ b/src/rdb/unit_tests/rdbRVEReaderTests.cc
@@ -76,3 +76,8 @@ TEST(2)
 {
   run_rve_test (_this, "rve2.db", "rve2_au.txt");
 }
+
+TEST(3)
+{
+  run_rve_test (_this, "rve3.db", "rve3_au.txt");
+}