diff --git a/src/devices/bus/coco/coco_fdc.cpp b/src/devices/bus/coco/coco_fdc.cpp
index 9cf131a589a..53fa874de8d 100644
--- a/src/devices/bus/coco/coco_fdc.cpp
+++ b/src/devices/bus/coco/coco_fdc.cpp
@@ -88,6 +88,7 @@
 #include "formats/os9_dsk.h"
 #include "formats/sdf_dsk.h"
 #include "formats/vdk_dsk.h"
+#include "formats/flex_dsk.h"
 
 #define LOG_WDFDC   (1U << 1) // Shows register setup
 #define LOG_WDIO    (1U << 2) // Shows data read and write
@@ -146,10 +147,11 @@ protected:
 void coco_family_fdc_device_base::floppy_formats(format_registration &fr)
 {
 	fr.add_mfm_containers();
+	fr.add(FLOPPY_FLEX_FORMAT);
 	fr.add(FLOPPY_DMK_FORMAT);
+	fr.add(FLOPPY_SDF_FORMAT);
 	fr.add(FLOPPY_JVC_FORMAT);
 	fr.add(FLOPPY_VDK_FORMAT);
-	fr.add(FLOPPY_SDF_FORMAT);
 	fr.add(FLOPPY_OS9_FORMAT);
 	fr.add(fs::COCO_RSDOS);
 	fr.add(fs::COCO_OS9);
@@ -249,7 +251,7 @@ coco_fdc_device_base::coco_fdc_device_base(const machine_config &mconfig, device
 void coco_fdc_device_base::update_lines()
 {
 	// clear HALT enable under certain circumstances
-	if (intrq() && (dskreg() & 0x20))
+	if (intrq())
 		set_dskreg(dskreg() & ~0x80);  // clear halt enable
 
 	// set the NMI line
@@ -648,7 +650,7 @@ namespace
 	void coco_scii_device::update_lines()
 	{
 		// clear HALT enable under certain circumstances
-		if (intrq() && (dskreg() & 0x20))
+		if (intrq())
 			set_dskreg(dskreg() & ~0x80);  // clear halt enable
 
 		if ((m_cache_controler & 0x02) == 0) /* cache disabled */