diff --git a/src/helma/doc/DocPrototype.java b/src/helma/doc/DocPrototype.java
index 7af3120d..9f3d4751 100644
--- a/src/helma/doc/DocPrototype.java
+++ b/src/helma/doc/DocPrototype.java
@@ -58,7 +58,7 @@ public class DocPrototype extends DocElement implements IPathElement	{
 				funcVec.addElement(functions[i]);
 			}
 		}
-		return (DocFunction[])funcVec.toArray(new DocFunction[funcVec.size()]);;
+		return (DocFunction[])funcVec.toArray(new DocFunction[funcVec.size()]);
 	}