diff --git a/test/blackbox-tests/test-cases/toplevel-plugin-fail.t b/test/blackbox-tests/test-cases/toplevel-plugin-fail.t
index 9d2bd6259b92..1b7669d2cbfe 100644
--- a/test/blackbox-tests/test-cases/toplevel-plugin-fail.t
+++ b/test/blackbox-tests/test-cases/toplevel-plugin-fail.t
@@ -1,6 +1,6 @@
 Testsuite for (toplevel that loads plugins). This version
-uses dune-site.dynlink which uses Dynlink.loadfile.
-This is not allowed in top-levels, so it fails.
+uses ``dune-site.dynlink`` which uses ``Dynlink.loadfile``.
+This is not allowed in toplevels, so it fails.
 
   $ cat > dune-project <<EOF
   > (lang dune 3.7)