diff --git a/base/.profile b/base/.profile
index 8d909104..44fb2906 100755
--- a/base/.profile
+++ b/base/.profile
@@ -264,7 +264,7 @@ _ps1bash() {
 	# Add hostname prefix in SSH sessions
 	unset _prefix
 	# Get the system hostname
-	if [ -f /etc/hostname ]
+	if [ -f /etc/hostname ]; then
 		_hostname="$(</etc/hostname)"
 	else
 		_hostname="$(hostname)"