pprLabel (entryLblToInfoLbl lbl)
   ) $$
   vcat (map pprBasicBlock blocks)
-     -- ^ Even the first block gets a label, because with branch-chain
+     -- above: Even the first block gets a label, because with branch-chain
      -- elimination, it might be the target of a goto.
 #if HAVE_SUBSECTIONS_VIA_SYMBOLS
         -- If we are using the .subsections_via_symbols directive
 
        -> UniqFM (UniqSet Reg)         -- ^ the registers we can use for allocation
        -> UniqSet Int                  -- ^ the set of available spill slots.
        -> [LiveCmmTop]                 -- ^ code annotated with liveness information.
-       -> UniqSM 
-               ( [NatCmmTop]           -- ^ code with registers allocated.
-               , [RegAllocStats] )     -- ^ stats for each stage of allocation
+       -> UniqSM ( [NatCmmTop], [RegAllocStats] )
+           -- ^ code with registers allocated and stats for each stage of
+           -- allocation
                
 regAlloc dflags regsFree slotsFree code
  = do