diff --git a/configs/samv71-xult/src/atmxt-xpro.h b/configs/samv71-xult/src/atmxt-xpro.h
index 15a3028ed2e..29dcaa4b671 100644
--- a/configs/samv71-xult/src/atmxt-xpro.h
+++ b/configs/samv71-xult/src/atmxt-xpro.h
@@ -112,7 +112,7 @@
 /* ILI9488 RGB requires use of LCD connector and SMC and DMA support */
 
 #  ifndef CONFIG_SAMV71XULT_MXTXPLND_LCD
-#    warning The ILI8488 LCD must be connect on EXT4 (CONFIG_SAMV71XULT_MXTXPLND_LCD)
+#    warning The ILI8488 LCD must be connected on LCD EXT4 (CONFIG_SAMV71XULT_MXTXPLND_LCD)
 #    undef HAVE_ILI9488_RGB
 #  endif
 
@@ -133,7 +133,7 @@
 /* ILI9488 MCU requires use of EXT1 or EXT2 connector */
 
 #  if !defined(CONFIG_SAMV71XULT_MXTXPLND_EXT1) && !defined(CONFIG_SAMV71XULT_MXTXPLND_EXT2)
-#    warning ILI9488 MCU requires CONFIG_SAMV71XULT_MXTXPLND_EXT1 or EXT2
+#    warning ILI9488 MCU must be connected or EXT1 or EXT2 (CONFIG_SAMV71XULT_MXTXPLND_EXT1/2)
 #    undef HAVE_ILI9488_MCU
 #  endif
 
@@ -318,7 +318,7 @@
 #      define IRQ_MXT_CHG        SAM_IRQ_PD28
 #    endif /* HAVE_MAXTOUCH */
 
-/* ILI9488 RGB mode definitions when connected via LCd (EXT4) */
+/* ILI9488 RGB mode definitions when connected via LCD (EXT4) */
 
 #    define GPIO_ILI9488_CDS    (GPIO_OUTPUT | GPIO_CFG_DEFAULT | GPIO_OUTPUT_SET | \
                                  GPIO_PORT_PIOC | GPIO_PIN30)
diff --git a/configs/samv71-xult/src/sam_ili9488.c b/configs/samv71-xult/src/sam_ili9488.c
index d66ab8d6da5..cc60a4d9b3f 100644
--- a/configs/samv71-xult/src/sam_ili9488.c
+++ b/configs/samv71-xult/src/sam_ili9488.c
@@ -1115,7 +1115,7 @@ static int sam_putrun(fb_coord_t row, fb_coord_t col,
   /* Buffer must be provided and aligned to a 16-bit address boundary */
 
   lcdvdbg("row: %d col: %d npixels: %d\n", row, col, npixels);
-  DEBUGASSERT(src && ((uintptr_t)src & 1) == 0);
+  DEBUGASSERT(buffer && ((uintptr_t)buffer & 1) == 0);
 
   /* Determine the refresh window area */
 
@@ -1156,7 +1156,7 @@ static int sam_getrun(fb_coord_t row, fb_coord_t col, FAR uint8_t *buffer,
   /* Buffer must be provided and aligned to a 16-bit address boundary */
 
   lcdvdbg("row: %d col: %d npixels: %d\n", row, col, npixels);
-  DEBUGASSERT(dest && ((uintptr_t)dest & 1) == 0);
+  DEBUGASSERT(buffer && ((uintptr_t)buffer & 1) == 0);
 
   /* Determine the refresh window area */