diff --git a/scripts/InstallScripts/InstallPackages.sh b/scripts/InstallScripts/InstallPackages.sh
index 86f79a2cf..6f6eaae99 100755
--- a/scripts/InstallScripts/InstallPackages.sh
+++ b/scripts/InstallScripts/InstallPackages.sh
@@ -38,7 +38,7 @@ get_emmc_devname() {
     case "$device" in
         $device_veyron_speedy) local devname=mmcblk2;;
         $device_veyron_minnie) local devname=mmcblk2;;
-	$device_veyron_mickey) local devname=mmcblk2;;
+        $device_veyron_mickey) local devname=mmcblk1;;
         $device_gru_kevin) local devname=mmcblk1;;
         $device_gru_bob) local devname=mmcblk1;;
         * ) echo "Unknown device! can't determine emmc devname. Please file an issue with the output of fdisk -l if you get this on a supported device"; exit 1;;
@@ -52,7 +52,7 @@ get_sd_devname() {
     case "$device" in
         $device_veyron_speedy) local devname=mmcblk0;;
         $device_veyron_minnie) local devname=mmcblk0;;
-	$device_veyron_mickey) local devname=mmcblk0;;
+        $device_veyron_mickey) local devname=mmcblk0;;
         $device_gru_kevin) local devname=mmcblk0;;
         $device_gru_bob) local devname=mmcblk0;;
         * ) echo "Unknown device! can't determine sd card devname. Please file an issue with the output of fdisk -l if you get this on a supported device"; exit 1;;
diff --git a/scripts/InstallScripts/InstallPrawnOS.sh b/scripts/InstallScripts/InstallPrawnOS.sh
index c911f18b6..026a775a1 100755
--- a/scripts/InstallScripts/InstallPrawnOS.sh
+++ b/scripts/InstallScripts/InstallPrawnOS.sh
@@ -41,7 +41,7 @@ get_emmc_devname() {
     case "$device" in
         $device_veyron_speedy) local devname=mmcblk2;;
         $device_veyron_minnie) local devname=mmcblk2;;
-	$device_veyron_mickey) local devname=mmcblk2;;
+        $device_veyron_mickey) local devname=mmcblk1;;
         $device_gru_kevin) local devname=mmcblk1;;
         $device_gru_bob) local devname=mmcblk1;;
         * ) echo "Unknown device! can't determine emmc devname. Please file an issue with the output of fdisk -l if you get this on a supported device"; exit 1;;
@@ -55,7 +55,7 @@ get_sd_devname() {
     case "$device" in
         $device_veyron_speedy) local devname=mmcblk0;;
         $device_veyron_minnie) local devname=mmcblk0;;
-	$device_veyron_mickey) local devname=mmcblk0;;
+        $device_veyron_mickey) local devname=mmcblk0;;
         $device_gru_kevin) local devname=mmcblk0;;
         $device_gru_bob) local devname=mmcblk0;;
         * ) echo "Unknown device! can't determine sd card devname. Please file an issue with the output of fdisk -l if you get this on a supported device"; exit 1;;