diff --git a/console/Kconfig b/console/Kconfig
index 4c017c4fa1..4aaea0e06e 100644
--- a/console/Kconfig
+++ b/console/Kconfig
@@ -69,14 +69,14 @@ config DEFAULT_CONSOLE_LOGLEVEL
 	default 6 if CONSOLE_LOGLEVEL_6
 	default 7 if CONSOLE_LOGLEVEL_7
 	default 8 if CONSOLE_LOGLEVEL_8
-	---help---
+	help
 	  Map the log level config names to an integer.
 
 config CONSOLE_SERIAL
 	boolean "Serial console support"
 	default y
 	depends CONSOLE
-	---help---
+	help
 	  Send LinuxBIOS output to serial console.
 
 choice
@@ -86,12 +86,12 @@ choice
 
 config CONSOLE_SERIAL_COM1
 	bool "COM1/ttyS0"
-	---help---
+	help
 	  Serial console on COM1/ttyS0.
 
 config CONSOLE_SERIAL_COM2
 	bool "COM2/ttyS1"
-	---help---
+	help
 	  Serial console on COM2/ttyS1.
 
 endchoice
@@ -103,27 +103,27 @@ choice
 
 config CONSOLE_SERIAL_115200
 	bool "115200 bps"
-	---help---
+	help
 	  Set serial console speed to 115200 bps.
 
 config CONSOLE_SERIAL_57600
 	bool "57600 bps"
-	---help---
+	help
 	  Set serial console speed to 57600 bps.
 
 config CONSOLE_SERIAL_38400
 	bool "38400 bps"
-	---help---
+	help
 	  Set serial console speed to 38400 bps.
 
 config CONSOLE_SERIAL_19200
 	bool "19200 bps"
-	---help---
+	help
 	  Set serial console speed to 19200 bps.
 
 config CONSOLE_SERIAL_9600
 	bool "9600 bps"
-	---help---
+	help
 	  Set serial console speed to 9600 bps.
 
 endchoice
@@ -131,13 +131,13 @@ endchoice
 config CONSOLE_VGA
 	boolean "VGA console support"
 	depends CONSOLE
-	---help---
+	help
 	  Send LinuxBIOS output to VGA console as soon as VGA is initialized.
 
 config CONSOLE_USB
 	boolean "USB2 console support"
 	depends CONSOLE
-	---help---
+	help
 	  Send LinuxBIOS output to USB2 (EHCI) console.
 
 	  Note: This requires a USB2 controller which supports the EHCI
diff --git a/lib/Kconfig b/lib/Kconfig
index 6a72aef829..a550ee9b8c 100644
--- a/lib/Kconfig
+++ b/lib/Kconfig
@@ -3,13 +3,13 @@ menu "Compression methods"
 config COMPRESSION_LZMA
 	boolean "Support LZMA compression"
 	default y
-	---help---
+	help
 	  This is the preferred compression method, as LZMA reaches
 	  very good compression rates with a small memory footprint.
 
 config COMPRESSION_NRV2B
 	boolean "Support NRV2B compression"
-	---help---
+	help
 	  This compression method has a smaller memory footprint than
 	  LZMA but also significantly worse compression results.
 
@@ -20,18 +20,18 @@ choice
 config DEFAULT_COMPRESSION_LZMA
 	bool "LZMA compression"
 	depends COMPRESSION_LZMA
-	---help---
+	help
 	  Choose this option as a default.
 
 config DEFAULT_COMPRESSION_NRV2B
 	bool "NRV2B compression"
 	depends COMPRESSION_NRV2B
-	---help---
+	help
 	  Choose this option if you have a flash chip which is large enough.
 
 config DEFAULT_COMPRESSION_NONE
 	bool "No compression"
-	---help---
+	help
 	  Do not compress any LinuxBIOS modules per default.
 
 endchoice