diff --git a/src/main/kotlin/com/jetbrains/micropython/devices/MicroBitDeviceProvider.kt b/src/main/kotlin/com/jetbrains/micropython/devices/MicroBitDeviceProvider.kt
index 77e4951f..578a1faa 100644
--- a/src/main/kotlin/com/jetbrains/micropython/devices/MicroBitDeviceProvider.kt
+++ b/src/main/kotlin/com/jetbrains/micropython/devices/MicroBitDeviceProvider.kt
@@ -44,6 +44,7 @@ class MicroBitDeviceProvider : MicroPythonDeviceProvider {
   override fun getPackageRequirements(sdk: Sdk): List<PyRequirement> {
     val manager = PyPackageManager.getInstance(sdk)
     return manager.parseRequirements("""|uflash>=1.2.4,<1.3
+                                        |docopt>=0.6.2,<0.7
                                         |pyserial>=3.3,<4.0""".trimMargin())
   }