diff --git a/gitlab-pages/docs/reference/current.md b/gitlab-pages/docs/reference/current.md
index 03e617edf..81cb3d48b 100644
--- a/gitlab-pages/docs/reference/current.md
+++ b/gitlab-pages/docs/reference/current.md
@@ -598,53 +598,17 @@ let main = (p : unit) : address => Tezos.source;
 
 
 <SyntaxTitle syntax="pascaligo">
-function failwith : string -> unit
+function failwith : 'a -> unit
 </SyntaxTitle>
 <SyntaxTitle syntax="cameligo">
-function failwith : string -> unit
+function failwith : 'a -> unit
 </SyntaxTitle>
 <SyntaxTitle syntax="reasonligo">
-function failwith : string -> unit
+function failwith: 'a -> unit
 </SyntaxTitle>
 
-Cause the contract to fail with an error message.
+[See `failwith`](toplevel.md#failwith)
 
-> ⚠ Using this currently requires in general a type annotation on the
-> `failwith` call.
-
-<Syntax syntax="cameligo">
-Note that `Current.failwith` is deprecated. Use `Tezos.failwith` or `failwith` instead.
-</Syntax>
-<Syntax syntax="reasonligo">
-Note that `Current.failwith` is deprecated. Use `Tezos.failwith` or `failwith` instead.
-</Syntax>
-
-<Syntax syntax="pascaligo">
-
-```pascaligo
-function main (const p : int; const s : unit) : list (operation) * unit is
-  block {
-    if p > 10 then failwith ("Failure.") else skip
-  }
-  with ((nil : list (operation)), s)
-```
-
-</Syntax>
-<Syntax syntax="cameligo">
-
-```cameligo
-let main (p,s : int * unit) = if p > 10 then failwith "Failure."
-```
-
-</Syntax>
-<Syntax syntax="reasonligo">
-
-```reasonligo
-let main = ((p,s) : (int, unit)) =>
-  if (p > 10) { failwith ("Failure."); };
-```
-
-</Syntax>
 
 <SyntaxTitle syntax="pascaligo">
 function chain_id : chain_id
diff --git a/gitlab-pages/docs/reference/toplevel.md b/gitlab-pages/docs/reference/toplevel.md
index b1b4e7b3c..4858d5598 100644
--- a/gitlab-pages/docs/reference/toplevel.md
+++ b/gitlab-pages/docs/reference/toplevel.md
@@ -60,20 +60,56 @@ let (): unit
 
 A helper to create a unit.
 
+<a name="failwith"></a>
 <SyntaxTitle syntax="pascaligo">
-function failwith : string -> unit
+function failwith : 'a -> unit
 </SyntaxTitle>
 <SyntaxTitle syntax="cameligo">
-val failwith : string -> unit
+val failwith : 'a -> unit
 </SyntaxTitle>
 <SyntaxTitle syntax="reasonligo">
-let failwith: string => unit
+let failwith: 'a => unit
 </SyntaxTitle>
 
-Cause the contract to fail with an error message.
+Cause the contract to fail with an error message or integer. Other types are 
+not supported at the moment.
+
+Using this currently requires in general a type annotation on the
+`failwith` call.
+
+<Syntax syntax="pascaligo">
+
+```pascaligo
+function main (const p : int; const s : unit) : list (operation) * unit is
+  block {
+    if p > 10 then failwith ("Failure.") else skip
+  }
+  with ((nil : list (operation)), s)
+```
+
+</Syntax>
+<Syntax syntax="cameligo">
+
+```cameligo
+let main (p,s : int * unit) = if p > 10 then failwith "Failure."
+```
+
+</Syntax>
+<Syntax syntax="reasonligo">
+
+```reasonligo
+let main = ((p,s) : (int, unit)) =>
+  if (p > 10) { failwith ("Failure."); };
+```
+
+</Syntax>
+<Syntax syntax="cameligo">
+`Current.failwith` is deprecated. Use `Tezos.failwith` or `failwith` instead.
+</Syntax>
+<Syntax syntax="reasonligo">
+`Current.failwith` is deprecated. Use `Tezos.failwith` or `failwith` instead.
+</Syntax>
 
-> ⚠ Using this currently requires in general a type annotation on the
-> `failwith` call.
 
 <SyntaxTitle syntax="pascaligo">
 function assert : bool -> unit