diff --git a/week1/00-tools-setup.md b/week1/00-tools-setup.md
index 7f4973b45744dff4a636fcc380605d8cc5ee5516..5fab1107a25cfbd5b33241b756e4f0de0de7ee41 100644
--- a/week1/00-tools-setup.md
+++ b/week1/00-tools-setup.md
@@ -40,6 +40,8 @@ echo 'export JAVA_HOME="$(/usr/libexec/java_home -v 1.8)"' >> ~/.bash_profile
 echo 'export PATH="$JAVA_HOME/bin:$PATH"' >> ~/.bash_profile
 ```
 
+At this point, make sure to close the terminal and open a new one.
+
 ### On Windows
 
 [Download and run the OpenJDK 8 installer.](https://adoptopenjdk.net)