diff --git a/etc/rc b/etc/rc
index de970ff21b..d06ea7c378 100755
--- a/etc/rc
+++ b/etc/rc
@@ -38,7 +38,7 @@ fi
 product=`/bin/cat /etc/inc/globals.inc | /usr/bin/grep product_name | /usr/bin/cut -d'"' -f4`
 hideplatform=`cat /etc/inc/globals.inc | grep hideplatform | cut -d'"' -f4`
 
-if [ "$hideplatform" = "true" ];
+if [ "$hideplatform" = "true" ]; then
 	platformbanner="" # hide the platform
 else
 	platformbanner=" on the '${PLATFORM}' platform"