diff --git a/src/db/db/dbEdgePairs.h b/src/db/db/dbEdgePairs.h
index 9a62bdf0c..e127c884a 100644
--- a/src/db/db/dbEdgePairs.h
+++ b/src/db/db/dbEdgePairs.h
@@ -613,5 +613,11 @@ private:
 
 }
 
+namespace tl
+{
+  template<> DB_PUBLIC bool test_extractor_impl (tl::Extractor &ex, db::EdgePairs &b);
+  template<> DB_PUBLIC void extractor_impl (tl::Extractor &ex, db::EdgePairs &b);
+}
+
 #endif
 
diff --git a/src/db/db/dbEdges.h b/src/db/db/dbEdges.h
index b58bca3f4..1be693bd2 100644
--- a/src/db/db/dbEdges.h
+++ b/src/db/db/dbEdges.h
@@ -1210,4 +1210,10 @@ private:
 
 } // namespace db
 
+namespace tl
+{
+  template<> DB_PUBLIC bool test_extractor_impl (tl::Extractor &ex, db::Edges &b);
+  template<> DB_PUBLIC void extractor_impl (tl::Extractor &ex, db::Edges &b);
+}
+
 #endif
diff --git a/src/db/db/dbRegion.h b/src/db/db/dbRegion.h
index 1698f264c..5b40a6d69 100644
--- a/src/db/db/dbRegion.h
+++ b/src/db/db/dbRegion.h
@@ -1821,5 +1821,11 @@ private:
 
 } // namespace db
 
+namespace tl
+{
+  template<> DB_PUBLIC bool test_extractor_impl (tl::Extractor &ex, db::Region &b);
+  template<> DB_PUBLIC void extractor_impl (tl::Extractor &ex, db::Region &b);
+}
+
 #endif
 
diff --git a/src/db/db/dbTexts.h b/src/db/db/dbTexts.h
index 26e678641..d45e28256 100644
--- a/src/db/db/dbTexts.h
+++ b/src/db/db/dbTexts.h
@@ -618,5 +618,11 @@ private:
 
 }
 
+namespace tl
+{
+  template<> DB_PUBLIC bool test_extractor_impl (tl::Extractor &ex, db::Texts &b);
+  template<> DB_PUBLIC void extractor_impl (tl::Extractor &ex, db::Texts &b);
+}
+
 #endif
 
diff --git a/src/plugins/tools/view_25d/lay_plugin/layD25View.cc b/src/plugins/tools/view_25d/lay_plugin/layD25View.cc
index 0300a37f1..3578f6036 100644
--- a/src/plugins/tools/view_25d/lay_plugin/layD25View.cc
+++ b/src/plugins/tools/view_25d/lay_plugin/layD25View.cc
@@ -115,7 +115,7 @@ D25View::menu_activated (const std::string &symbol)
 
 static QString scale_factor_to_string (double f)
 {
-  return QString (QString::fromUtf8 ("%.3g").arg (f));
+  return QString (QString::fromUtf8 ("%1")).arg (f, 0, 'g', 3);
 }
 
 void