diff --git a/source/hic_hal/freescale/k20dx/DAP_config.h b/source/hic_hal/freescale/k20dx/DAP_config.h
index 8091a9a3a..de4c92b19 100644
--- a/source/hic_hal/freescale/k20dx/DAP_config.h
+++ b/source/hic_hal/freescale/k20dx/DAP_config.h
@@ -154,8 +154,8 @@ static inline void PORT_SWD_SETUP(void)
     PIN_SWD_NOE_GPIO->PCOR   = 1 << PIN_SWD_NOE_BIT;
     PIN_nRESET_GPIO->PSOR    = 1 << PIN_nRESET_BIT;
     PIN_SWD_NOE_GPIO->PDDR = PIN_SWD_NOE_GPIO->PDDR | (1 << PIN_SWD_NOE_BIT);
-    PIN_SWD_NOE_GPIO->PCOR = PIN_SWD_NOE_GPIO->PCOR | (1 << PIN_SWD_NOE_BIT);
-    PIN_SWDIO_NOE_GPIO->PCOR = PIN_SWDIO_NOE_GPIO->PCOR | (1 << PIN_SWDIO_NOE_BIT);
+    PIN_SWD_NOE_GPIO->PCOR = 1 << PIN_SWD_NOE_BIT;
+    PIN_SWDIO_NOE_GPIO->PCOR = 1 << PIN_SWDIO_NOE_BIT;
     PIN_nRESET_GPIO->PSOR = PIN_nRESET;
     PIN_nRESET_GPIO->PDDR |= PIN_nRESET; //output
     PIN_nRESET_PORT->PCR[PIN_nRESET_BIT] = PORT_PCR_PS_MASK | PORT_PCR_PE_MASK | PORT_PCR_PFE_MASK | PORT_PCR_MUX(1);
diff --git a/source/hic_hal/freescale/k20dx/gpio.c b/source/hic_hal/freescale/k20dx/gpio.c
index b55516068..c39da1f71 100644
--- a/source/hic_hal/freescale/k20dx/gpio.c
+++ b/source/hic_hal/freescale/k20dx/gpio.c
@@ -52,7 +52,7 @@ void gpio_init(void)
     LED_CONNECTED_GPIO->PDOR = 1UL << LED_CONNECTED_BIT;
     LED_CONNECTED_GPIO->PDDR = 1UL << LED_CONNECTED_BIT;
     // led on
-    LED_CONNECTED_GPIO->PCOR  |= 1UL << LED_CONNECTED_BIT;
+    LED_CONNECTED_GPIO->PCOR = 1UL << LED_CONNECTED_BIT;
     // reset button configured as gpio input
     PIN_nRESET_GPIO->PDDR &= ~PIN_nRESET;
     PIN_nRESET_PORT->PCR[PIN_nRESET_BIT] = PORT_PCR_MUX(1);