diff --git a/doc/contribute.html b/doc/contribute.html
index efd5040..63d4774 100644
--- a/doc/contribute.html
+++ b/doc/contribute.html
@@ -154,7 +154,7 @@
 configures; those hooks add a Gerrit <code>Change-Id</code> line to the commit
 message and check that all Go source files have been formatted with gofmt. Even
 if you intend to use plain Git for daily work, install the hooks in a new Git
-checkout by running <code>git-codereview</code> <code>hooks</code>).
+checkout by running <code>git-codereview</code> <code>hooks</code>.
 </p>
 
 <h3>Set up git aliases</h3>
@@ -461,7 +461,7 @@
 </pre>
 
 <p>
-(In git terms, git sync runs
+(In git terms, <code>git</code> <code>sync</code> runs
 <code>git</code> <code>pull</code> <code>-r</code>.)
 </p>