diff --git a/haskell/src/SEL4/Kernel/BootInfo.lhs b/haskell/src/SEL4/Kernel/BootInfo.lhs
index b22f9bc92..8f8fea015 100644
--- a/haskell/src/SEL4/Kernel/BootInfo.lhs
+++ b/haskell/src/SEL4/Kernel/BootInfo.lhs
@@ -10,7 +10,7 @@
 
 
 
-This module contains functions that maintaining the bootinfo structure for init-thread .
+This module contains functions for maintaining the bootinfo structure that is passed to the initial user thread.
 
 > module SEL4.Kernel.BootInfo where