--- a/master/types.html	Tue May 28 17:20:29 2013 +1000
+++ b/master/types.html	Tue May 28 17:27:31 2013 +1000
@@ -3067,7 +3067,7 @@
 list to hold the single item specified by the parameter.  If the inserted
 item is already in a list, it is removed from its previous list before
 it is inserted into this list.  The inserted item is the item itself and
-not a copy. 
+not a copy.
 
 
 </div>