Index: src/include/skeletons/maps.h
===================================================================
--- src/include/skeletons/maps.h	(revision 284)
+++ src/include/skeletons/maps.h	(revision 286)
@@ -79,5 +79,5 @@
       /// assigns to them a default value (optional)
       template<typename T1>
-      ReadWritableMap(const ReadWritableMap<K,T1> &map, const T1 &v) {}
+      ReadWritableMap(const ReadWritableMap<K,T1> &map, const ValueType &v) {}
 
       ReadWritableMap() {}
@@ -120,5 +120,5 @@
       /// assigns to them a default value (optional)
       template<typename T1>
-      DereferableMap(const DereferableMap<K,T1> &map, const T1 &v) {}
+      DereferableMap(const DereferableMap<K,T1> &map, const ValueType &v) {}
 
       DereferableMap() {}