diff --git a/src/plugins/e-acsl/options.ml b/src/plugins/e-acsl/options.ml
index c0430bcef358225fc59f2aef3f20531255ad852d..c91ad425df5d29de7acdb5389a0061ce8ca662a3 100644
--- a/src/plugins/e-acsl/options.ml
+++ b/src/plugins/e-acsl/options.ml
@@ -27,8 +27,9 @@ module P = Plugin.Register
      let shortname = "e-acsl"
      let help = "Executable ANSI/ISO C Specification Language --- runtime \
 assertion checker generator"
-   end)
-include P
+  end)
+module PP = P (* [PP] required to avoid an ocamldoc error in OCaml 4.02 *)
+include PP
 
 module Check =
   False