diff --git a/lib/README.md b/lib/README.md
index 71967e6a18a..b45ccf732d6 100644
--- a/lib/README.md
+++ b/lib/README.md
@@ -1,4 +1,4 @@
 # Read this!
 
 These files are not meant to be edited by hand.
-If you need to make modifications, the respective files should be changed within the repository's top-level `src` directory and ```jake LKG``` flushes the changes here.
\ No newline at end of file
+If you need to make modifications, the respective files should be changed within the repository's top-level `src` directory. Running ```jake LKG``` will then appropriately update the files in this directory.