diff --git a/README-DEVELOPER.md b/README-DEVELOPER.md
index 781ffa24a..9466b8935 100644
--- a/README-DEVELOPER.md
+++ b/README-DEVELOPER.md
@@ -67,7 +67,11 @@ One can check coding style using
 ``` sh
 npm run lint
 ```
-Install the recommended extensions to automatically fix linting errors when possible.
+Install the recommended extensions to automatically fix linting errors through VSCode.
+You will also need to install the `eslint` dependencies globally:
+``` sh
+npm install -g eslint typescript-eslint
+```
 
 ### Unit tests