diff --git a/theories/Spaces/List.v b/theories/Spaces/List.v
index b5437caabb6..13e40c53716 100644
--- a/theories/Spaces/List.v
+++ b/theories/Spaces/List.v
@@ -73,7 +73,7 @@ Defined.
 
 (** ** Path spaces of lists *)
 
-(** This proof was adapted from a proof givaen in agda/cubical by Evan Cavallo. *)
+(** This proof was adapted from a proof given in agda/cubical by Evan Cavallo. *)
 
 Section PathList.
   Context {A : Type}.