diff --git a/doc/manual/install-language.rst b/doc/manual/install-language.rst
index 76184f4830b..61ec9b25576 100644
--- a/doc/manual/install-language.rst
+++ b/doc/manual/install-language.rst
@@ -2,7 +2,7 @@ Appendix: Installing the example languages
 ==========================================
 
 DOMjudge ships with some default languages with a default configuration.
-As you might setup contests with those languages we provide how those languages were
+As you might set up contests with those languages we provide how those languages were
 installed in the past as guideline. Use ``dj_run_chroot`` for most of those packages, and see
 the section :ref:`make-chroot` for more information.