diff --git a/tools/setup_sdcard.sh b/tools/setup_sdcard.sh
index bc5c0a06d88f4b1b3d7d77bf1b1a5bc32443c9d1..f741241f84fef2b1ba556d98141a7bbdf3375c3c 100755
--- a/tools/setup_sdcard.sh
+++ b/tools/setup_sdcard.sh
@@ -1480,7 +1480,7 @@ populate_rootfs () {
 	if [ "x${drm}" = "xetnaviv" ] ; then
 		wfile="/etc/X11/xorg.conf"
 		if [ -f ${TEMPDIR}/disk${wfile} ] ; then
-			if [ -f ${TEMPDIR}/disk/usr/lib/xorg/modules/drivers/armada_drv.so ] then
+			if [ -f ${TEMPDIR}/disk/usr/lib/xorg/modules/drivers/armada_drv.so ] ; then
 				sudo sed -i -e 's:modesetting:armada:g' ${TEMPDIR}/disk${wfile}
 				sudo sed -i -e 's:fbdev:armada:g' ${TEMPDIR}/disk${wfile}
 			else