From ee5ba31a5d3a1559d6e77693e9677931db3c20be Mon Sep 17 00:00:00 2001
From: mayfrost <mayfrost@cock.li>
Date: Sat, 3 Mar 2018 19:49:44 +0000
Subject: [PATCH] Update KERNEL.md

---
 KERNEL.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/KERNEL.md b/KERNEL.md
index 581476c..34d490f 100644
--- a/KERNEL.md
+++ b/KERNEL.md
@@ -195,7 +195,7 @@ This section is also optional. There are cool patches for the kernel out there a
 * Go to kernel source tree.  
 `cd /usr/src/linux-<VERSION_NUMBER>`  
 * Download the patch file there.
-* Following options assume is __gzipped__.
+* Following instructions assume is __gzipped__.
 
 You have three options to patch the kernel.