Fix a few Note inconsistencies

4 files changed, 1 insertions, 4 deletions

diff --git a/hadrian/src/Expression.hs b/hadrian/src/Expression.hs
index 62e83ccecb..a70aa75e9d 100644
--- a/hadrian/src/Expression.hs
+++ b/hadrian/src/Expression.hs
@@ -100,7 +100,6 @@ way w = (w ==) <$> getWay
 {-
 Note [Stage Names]
 ~~~~~~~~~~~~~~~~~~
-
 Code referring to specific stages can be a bit tricky. In Hadrian, the stages
 have the same names they carried in the autoconf build system, but they are
 often referred to by the stage used to construct them. For example, the stage 1
diff --git a/hadrian/src/Flavour.hs b/hadrian/src/Flavour.hs
index f31e7667e1..c46f77a2fb 100644
--- a/hadrian/src/Flavour.hs
+++ b/hadrian/src/Flavour.hs
@@ -267,7 +267,6 @@ collectTimings =
 {-
 Note [Hadrian settings]
 ~~~~~~~~~~~~~~~~~~~~~~~
-
 Hadrian lets one customize GHC builds through the UserSettings module,
 where Hadrian users can override existing 'Flavour's or create entirely
 new ones, overriding/extending the options passed to some builder
diff --git a/hadrian/src/Rules/BinaryDist.hs b/hadrian/src/Rules/BinaryDist.hs
index da6f27d1de..a6693a75f3 100644
--- a/hadrian/src/Rules/BinaryDist.hs
+++ b/hadrian/src/Rules/BinaryDist.hs
@@ -463,7 +463,6 @@ createVersionWrapper versioned_exe install_path = do
 {-
 Note [Two Types of Wrappers]
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-
 There are two different types of wrapper scripts.
 
 1. The wrapper scripts installed
diff --git a/hadrian/src/Rules/Libffi.hs b/hadrian/src/Rules/Libffi.hs
index df7529ffc5..e37faee5dc 100644
--- a/hadrian/src/Rules/Libffi.hs
+++ b/hadrian/src/Rules/Libffi.hs
@@ -14,7 +14,7 @@ import Target
 import Utilities
 
 {- Note [Libffi indicating inputs]
-
+   ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 First see https://gitlab.haskell.org/ghc/ghc/wikis/Developing-Hadrian for an
 explanation of "indicating input". Part of the definition is copied here for
 your convenience: