Apply suggestions from code review (@eldering)

Co-authored-by: Jaap Eldering <[email protected]>

Author: vmcj

Makefile

@@ -175,7 +175,7 @@ endif
 	@echo "        cp <DOMSERVER_UNPACK_PATH>/judge/create-cgroups.service /etc/systemd/system/"
 	@echo "    - Install the judgehost service:"
 	@echo "        cp <DOMSERVER_UNPACK_PATH>/judge/[email protected] /etc/systemd/system/"
-	@echo "    - You can enable the judghost on core 1 as:"
+	@echo "    - You can enable the judgehost on CPU core 1 with:"
 	@echo "        systemctl enable domjudge-judgedaemon@1"
 	@echo ""
 

doc/manual/install-judgehost.rst

@@ -70,7 +70,7 @@ example to install DOMjudge in the directory ``domjudge`` under `/opt`::
 
 Example service files for the judgehost and the judgedaemon are provided in
 ``judge/create-cgroups.service`` and ``judge/[email protected]``. The rest of the manual assumes you install those
-in a location which is picked up by ``systemd`` for example ``/etc/systemd/system``.
+in a location which is picked up by ``systemd``, for example ``/etc/systemd/system``.
 
 
 .. parsed-literal::