diff --git a/src/proto/alpha/docs/language.md b/src/proto/alpha/docs/language.md
index a28a44ddb..7216b6680 100644
--- a/src/proto/alpha/docs/language.md
+++ b/src/proto/alpha/docs/language.md
@@ -926,14 +926,6 @@ Timestamp immediates can be obtained by the `NOW` operation, or
 retrieved from script parameters or globals. The only valid operations
 are the addition of a (positive) number of seconds and the comparison.
 
-   * `ADD`
-     Increment / decrement a timestamp of the given number of seconds.
-
-        :: timestamp : float : 'S -> timestamp : 'S
-
-        > ADD ; C / t : period : S   =>   [FAIL]   iff   period < 0
-        > ADD ; C / t : period : S   =>   C / (t + period seconds) : S
-
    * `ADD`
      Increment / decrement a timestamp of the given number of seconds.