diff --git a/Boot-HermitCore-from-a-raw-image.md b/Boot-HermitCore-from-a-raw-image.md
index 94c8e92..bc6aec1 100644
--- a/Boot-HermitCore-from-a-raw-image.md
+++ b/Boot-HermitCore-from-a-raw-image.md
@@ -76,7 +76,7 @@ menuentry "stream" {
 }
 ```
 
-Sometimes it is useful to define the IO port for the UART device as kernel parameter because is currently not able to detect all existing UART devices. In this example, we define 0x3f8 as IO port.
+Sometimes it is useful to define the IO port for the UART device as kernel parameter because HermitCore is currently not able to detect all existing UART devices. In this example, we define 0x3f8 as IO port.
 
 Don't forget to unmount the devices: