diff --git a/docs/dev/basics.rst b/docs/dev/basics.rst
index 7fcc2d7c9894185ab7ac57a7989abcacccc718aa..18aec227d558a9e83c6317e3c8b700b85323430e 100644
--- a/docs/dev/basics.rst
+++ b/docs/dev/basics.rst
@@ -54,16 +54,18 @@ commits, making `git reflog` the only way to recover them!
 
 Development Guidelines
 ----------------------
-lua should be used instead of sh whenever sensible. The following criteria
+Lua should be used instead of sh whenever sensible. The following criteria
 should be considered:
 
-- Is the script doing more than just executing external commands? if so, use lua
-- Is the script parsing/editing json-data? If so, use lua for speed
+- Is the script doing more than just executing external commands? if so, use Lua
+- Is the script parsing/editing json-data? If so, use Lua for speed
 - When using sh, use jsonfilter instead of json_* functions for speed
 
 Code formatting may sound like a topic for the pedantic, however it helps if
-the code in the project is formatted in the same way. The following rules
+the code in the project is formatted in the same way. The following basic rules
 apply:
 
 - use tabs instead of spaces
 - trailing whitespaces must be eliminated
+
+If you add Lua scripts to gluon, check formatting with ``luacheck``.