Index: tools/setup_env.sh
===================================================================
diff -u -r24b86bded1f6417ee844acfbca068524a8fcfab1 -rb6566527169163c6500c50891a501052288d7a7b
--- tools/setup_env.sh	(.../setup_env.sh)	(revision 24b86bded1f6417ee844acfbca068524a8fcfab1)
+++ tools/setup_env.sh	(.../setup_env.sh)	(revision b6566527169163c6500c50891a501052288d7a7b)
@@ -6,7 +6,7 @@
 # THIS CODE MAY NOT BE COPIED OR REPRODUCED IN ANY FORM, IN PART OR IN
 # WHOLE, WITHOUT THE EXPLICIT PERMISSION OF THE COPYRIGHT OWNER.
 #
-# @file setup_environment.sh
+# @file setup_env.sh
 #
 # @author (last) Peter Lucia
 # @date (last) 09-Jul-2020