diff --git a/lib/Array.cry b/lib/Array.cry
index c455395d..e178d7ff 100644
--- a/lib/Array.cry
+++ b/lib/Array.cry
@@ -3,8 +3,6 @@
  * Distributed under the terms of the BSD3 license (see LICENSE file)
  */
 
-/** The type and operations of the theory of arrays. */
-
 module Array where
 
 primitive type Array : * -> * -> *
diff --git a/tests/regression/array.icry b/tests/regression/array.icry
new file mode 100644
index 00000000..f9e08723
--- /dev/null
+++ b/tests/regression/array.icry
@@ -0,0 +1,3 @@
+:module Array
+:browse Array
+
diff --git a/tests/regression/array.icry.stdout b/tests/regression/array.icry.stdout
new file mode 100644
index 00000000..0fd0054f
--- /dev/null
+++ b/tests/regression/array.icry.stdout
@@ -0,0 +1,20 @@
+Loading module Cryptol
+Loading module Array
+Primitive Types
+===============
+
+  Public
+  ------
+
+    Array : * -> * -> *
+
+Symbols
+=======
+
+  Public
+  ------
+
+    arrayConstant : {a, b} b -> Array a b
+    arrayLookup : {a, b} Array a b -> a -> b
+    arrayUpdate : {a, b} Array a b -> a -> b -> Array a b
+