diff --git a/docs/design/type-notation.typ b/docs/design/type-notation.typ
index ee33517..ad991ee 100644
--- a/docs/design/type-notation.typ
+++ b/docs/design/type-notation.typ
@@ -34,5 +34,5 @@ One dimensional list of 32 bit signed integers:
 
 Due to inference, you'll also be able to use that in some mathematical operations with integers:
 
-`[i32] + i32` is a valid operation, for example (of course, you can't add types.) But that wouldn't add the second one to the list, but rather add the single i32 to all values in the left hand side list). That would also work with more dimensional arrays and dynamic streams like videos. 
+`[i32] + i32` is a valid operation, for example (of course, you can't add types.) But that wouldn't add the second one to the list, but rather add the single i32 to all values in the left hand side list). That would also work with more dimensional arrays and dynamic streams like videos.