diff --git a/.travis.yml b/.travis.yml
index 72221365..7c1f8700 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -5,6 +5,7 @@ env:
     # see https://github.com/arduino/Arduino/blob/master/build/shared/manpage.adoc#options
     # and https://github.com/arduino/Arduino/wiki/Arduino-IDE-1.5-3rd-party-Hardware-specification#boardstxt
     - BOARD="arduino:avr:uno"
+    - BOARD="stm32duino:STM32F4:generic_f407v:usb_cfg=usb_serial"
     - BOARD="arduino:avr:mega:cpu=atmega2560"
     - BOARD="arduino:avr:leonardo"
     - BOARD="esp8266:esp8266:generic:xtal=80,ResetMethod=ck,CrystalFreq=26,FlashFreq=40,FlashMode=qio,eesz=512K"
@@ -18,7 +19,6 @@ env:
     - BOARD="SparkFun:apollo3:amap3redboard"
     - BOARD="arduino:mbed:nano33ble"
     - BOARD="stm32duino:STM32F1:mapleMini:bootloader_version=original,cpu_speed=speed_72mhz"
-    - BOARD="stm32duino:STM32F4:discovery_f407:usb_cfg=usb_serial"
 
 addons:
   apt:
@@ -109,7 +109,6 @@ before_install:
     elif [[ "$BOARD" =~ "stm32duino:STM32F4:" ]]; then
       export BUILD_EXAMPLES=true;
       arduino --pref "boardsmanager.additional.urls=http://dan.drown.org/stm32duino/package_STM32duino_index.json" --save-prefs 2>&1;
-      arduino --install-boards stm32duino:STM32F1;
       arduino --install-boards stm32duino:STM32F4;
 
     fi