Update port.c (#283)

diff --git a/portable/RVDS/ARM_CM7/r0p1/port.c b/portable/RVDS/ARM_CM7/r0p1/port.c
index 25e5f5a..93c8bd5 100644
--- a/portable/RVDS/ARM_CM7/r0p1/port.c
+++ b/portable/RVDS/ARM_CM7/r0p1/port.c
@@ -762,10 +762,10 @@
              * be set to a value equal to or numerically *higher* than

              * configMAX_SYSCALL_INTERRUPT_PRIORITY.

              *

-             * Interrupts that	use the FreeRTOS API must not be left at their

-             * default priority of	zero as that is the highest possible priority,

+             * Interrupts that use the FreeRTOS API must not be left at their

+             * default priority of zero as that is the highest possible priority,

              * which is guaranteed to be above configMAX_SYSCALL_INTERRUPT_PRIORITY,

-             * and	therefore also guaranteed to be invalid.

+             * and therefore also guaranteed to be invalid.

              *

              * FreeRTOS maintains separate thread and ISR API functions to ensure

              * interrupt entry is as fast and simple as possible.