diff --git a/llvm/bindings/ocaml/llvm/llvm.mli b/llvm/bindings/ocaml/llvm/llvm.mli
--- a/llvm/bindings/ocaml/llvm/llvm.mli
+++ b/llvm/bindings/ocaml/llvm/llvm.mli
@@ -727,7 +727,7 @@
 val qualified_pointer_type : lltype -> int -> lltype
 
 (** [pointer_type_in_context context as] returns the opaque pointer type
-    referencing objects in address [as].
+    referencing objects in address space [as].
     See the method [llvm::PointerType::get]. *)
 val pointer_type_in_context : llcontext -> int -> lltype
 
diff --git a/llvm/test/Bindings/OCaml/core.ml b/llvm/test/Bindings/OCaml/core.ml
--- a/llvm/test/Bindings/OCaml/core.ml
+++ b/llvm/test/Bindings/OCaml/core.ml
@@ -44,7 +44,7 @@
 (*===-- Pointer types  ----------------------------------------------------===*)
 let test_pointer_types () =
   insist (pointer_type_is_opaque (pointer_type_in_context context 0));
-  insist (not (pointer_type_is_opaque (pointer_type i8_type)))
+  insist (pointer_type_is_opaque (pointer_type i8_type))
 
 (*===-- Conversion --------------------------------------------------------===*)
 
@@ -1508,6 +1508,7 @@
   suite "contained types"  test_contained_types;
   suite "conversion"       test_conversion;
   suite "target"           test_target;
+  suite "pointer types"    test_pointer_types;
   suite "constants"        test_constants;
   suite "attributes"       test_attributes;
   suite "global values"    test_global_values;