Fix documentation.
diff --git a/org.jacoco.doc/docroot/doc/agent.html b/org.jacoco.doc/docroot/doc/agent.html
index 7890fb5..6c8aa9d 100644
--- a/org.jacoco.doc/docroot/doc/agent.html
+++ b/org.jacoco.doc/docroot/doc/agent.html
@@ -131,7 +131,7 @@
       <td>Output method to use for writing coverage data. Valid options are:

         <ul>

           <li><code>file</code>: At VM termination execution data is written to

-              the file specified in the <code>tofile</code> attribute.</li>

+              the file specified in the <code>destfile</code> attribute.</li>

           <li><code>tcpserver</code>: The agent listens for incoming connections

               on the TCP port specified by the <code>address</code> and

               <code>port</code> attribute. Execution data is written to this