diff --git a/etc/rc b/etc/rc
index db44a7a4f5..5ebc9d2f57 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 | wc -l`
 
-if [ "$hideplatform" -gt "0"]; then
+if [ "$hideplatform" -gt "0" ]; then
 	platformbanner="" # hide the platform
 else
 	platformbanner=" on the '${PLATFORM}' platform"