diff --git a/doc/contribute.html b/doc/contribute.html
index b624c6675c..59b3d20a51 100644
--- a/doc/contribute.html
+++ b/doc/contribute.html
@@ -78,7 +78,7 @@ no matter who makes the change.
A custom git command called git-codereview,
discussed below, helps manage the code review process through a Google-hosted
instance of the code review
-system called Gerrit.
+system called Gerrit.