diff --git a/.gitlab-ci/test/gitlab-ci.yml b/.gitlab-ci/test/gitlab-ci.yml
index f9ff8a97206..b04dee912fe 100644
--- a/.gitlab-ci/test/gitlab-ci.yml
+++ b/.gitlab-ci/test/gitlab-ci.yml
@@ -46,6 +46,7 @@ rustfmt:
     - shopt -s globstar
     - rustfmt --version
     - rustfmt --verbose src/**/lib.rs
+    - rustfmt --verbose src/**/main.rs
 
 clang-format:
   extends:
diff --git a/docs/rusticl.rst b/docs/rusticl.rst
index a9d135a28d0..f6997294a1e 100644
--- a/docs/rusticl.rst
+++ b/docs/rusticl.rst
@@ -86,7 +86,7 @@ that add new features should be ran against the appropriate conformance
 tests.
 
 Also, make sure the formatting is in order before submitting code. That
-can easily be done via ``git ls-files */{lib,app}.rs | xargs rustfmt``.
+can easily be done via ``git ls-files */{lib,main}.rs | xargs rustfmt``.
 
 When submitting Merge Requests or filing bugs related to Rusticl, make
 sure to add the ``Rusticl`` label so people subscribed to that Label get