diff --git a/docs/whitedoc/michelson.rst b/docs/whitedoc/michelson.rst
index e74630260..d0a7762f4 100644
--- a/docs/whitedoc/michelson.rst
+++ b/docs/whitedoc/michelson.rst
@@ -1397,7 +1397,7 @@ contract, unit for an account.
 
     :: 'S   ->   mutez : 'S
 
--  ``ADDRESS``: Push the untyped version of a contract.
+-  ``ADDRESS``: Push the address of a contract.
 
 ::