Update _docs/tutorials/advanced/nuttx/udp_echo/index.md

Juan Flores Muñoz · FranFin · web-flow · commit f613cee0ec2c · 2020-04-07T15:37:22.000+02:00
Co-Authored-By: FranFin &lt;58737168+FranFin@users.noreply.github.com&gt;
diff --git a/_docs/tutorials/advanced/nuttx/udp_echo/index.md b/_docs/tutorials/advanced/nuttx/udp_echo/index.md
@@ -63,7 +63,7 @@ Info : Listening on port 4444 for telnet connections
 
 Now you need to open the NSH console of NuttX. To do so, follow these steps:
 
-- Push the reset button. The green LED will turn on to say that is working properly.
+- Push the reset button. The green LED will turn on to say that it is working properly.
 - Look for the device by typing ``dmesg`` on the console, this should return somenthing like this:
 ```bash
 [20614.570781] usb 1-2: new full-speed USB device number 7 using xhci_hcd
