diff --git a/docs/ProgrammersManual.html b/docs/ProgrammersManual.html
index 1ee38603c7e..e6653f57a03 100644
--- a/docs/ProgrammersManual.html
+++ b/docs/ProgrammersManual.html
@@ -1279,7 +1279,7 @@ For our purposes below, we need three concepts.  First, an "Opaque Type" is
 exactly as defined in the <a href="LangRef.html#t_opaque">language 
 reference</a>.  Second an "Abstract Type" is any type which includes an 
 opaque type as part of its type graph (for example "<tt>{ opaque, int }</tt>").
-Third, a concrete type is a type that is not an abstract type (e.g. "<tt>[ int, 
+Third, a concrete type is a type that is not an abstract type (e.g. "<tt>{ int, 
 float }</tt>").
 </p>