diff --git a/doc/erko_howto_tools.txt b/doc/erko_howto_tools.txt
index d074f150682b2c3c975b6a0cb58109e9d3b31e90..75be65acd2f41608b1c25cd804d52a8c5737868c 100755
--- a/doc/erko_howto_tools.txt
+++ b/doc/erko_howto_tools.txt
@@ -1164,6 +1164,8 @@ export LM_LICENSE_FILE=1800@license4.astron.nl:1717@license5.astron.nl
 ping 10.87.3.179  # = ping license4.astron.nl
 ping 10.87.3.114  # = ping license5.astron.nl
 
+RW --> EK 5 dec 2024:
+  Modelsim draaide voorheen op LICENSE5 maar nu op LICENSE1. Quartus is (weer) op LICENSE4 zoals voorheen.
 
 *******************************************************************************
 * Screen to run a terminal session without ssh connection