diff --git a/arch/mips/src/pic32mx/pic32mx-head.S b/arch/mips/src/pic32mx/pic32mx-head.S
index 275406d0c0a..ba726b4e179 100644
--- a/arch/mips/src/pic32mx/pic32mx-head.S
+++ b/arch/mips/src/pic32mx/pic32mx-head.S
@@ -513,7 +513,7 @@ __start_nuttx:
 	jalr	t0, ra
 	nop
 
-	/* Just in case main returns, go into infinite loop */
+	/* Just in case main returns, go into an infinite loop */
 
 halt:
 1:
@@ -521,7 +521,6 @@ halt:
 	nop
 	.end __start_nuttx
 
-
 /****************************************************************************
  * Device Configuration
  ****************************************************************************/