diff --git a/sources/dylan/collection.dylan b/sources/dylan/collection.dylan
index 40062d3e83..38437703e8 100644
--- a/sources/dylan/collection.dylan
+++ b/sources/dylan/collection.dylan
@@ -56,9 +56,13 @@ define constant <collection-type>
 define constant <mutable-collection-type>
   = type-union(subclass(<mutable-collection>), <limited-mutable-collection-type>);
 
+// This generic is defined on <type> because the DRM says so and the test suite
+// expects it to be so. However, the only implemented method is on
+// <mutable-collection-type> and this generic is sealed, so there should not be
+// a dispatch hit.
 define sealed generic map-as
-    (type :: <mutable-collection-type>, fn :: <function>,
-     collection :: <collection>, #rest more-collections :: <collection>)
+    (type :: <type>, fn :: <function>, collection :: <collection>,
+     #rest more-collections :: <collection>)
  => (new-collection :: <mutable-collection>);
 
 define sealed generic map-into
diff --git a/sources/dylan/sequence.dylan b/sources/dylan/sequence.dylan
index fff6f703c4..68ec79cbc6 100644
--- a/sources/dylan/sequence.dylan
+++ b/sources/dylan/sequence.dylan
@@ -98,9 +98,11 @@ define sealed generic concatenate
     (sequence1 :: <sequence>, #rest sequences :: <sequence>)
  => (result-sequence :: <sequence>);
 
+// This generic is defined on <type> because the DRM says so and the test suite
+// expects it to be so. However, the methods top out with <mutable-collection-type>
+// and this generic is sealed, so there should not be a dispatch hit.
 define sealed generic concatenate-as
-    (type :: <mutable-sequence-type>,
-     sequence1 :: <sequence>, #rest more-sequences :: <sequence>)
+    (type :: <type>, sequence1 :: <sequence>, #rest more-sequences :: <sequence>)
  => (result-sequence :: <mutable-sequence>);
 
 define sealed generic first