Minor Updates to docs

Introduction.md

@@ -2,7 +2,7 @@
 ## Overview ##
 ConnectTheDots is put together to demonstrate the power of Azure IoT and its use of data from various devices.  It's built off the assumption that the sensors get the raw data and format it into a JSON string.  That string is then shuttled off to Azure IoT Hub, where it gathers the data and displays it as a chart.  Optional other functions of the Azure cloud include sending alerts and averages, however this is not required.
 
-The JSON string is sent to Azure IoT Hub whether directly by the sensor device if it is capable of connecting to Azure IoT Hub or through a multi-protocol Gateway, which is how the [Getting Started](Gettingstarted.md) sample does it.  More details on each of those options are below.
+The JSON string is sent to Azure IoT Hub whether directly by the sensor device if it is capable of connecting to Azure IoT Hub or through a multi-protocol Gateway, which is how the [Getting Started](GettingStarted.md) sample does it.  More details on each of those options are below.
 
 We encourage the community to contribute to the project!  See [Contribute](Contribute.md) page for details.
 

SupportedDevices.md

@@ -23,8 +23,9 @@ The devices currently showcased are the following:
     - BeagleBone Black running a node.js application sending data from Grove sensors
     - Windows 10 Universal Application (for Windows 10, Windows 10 IoT Core, Windows 10 Mobile) sending simulated data
     - Windows 10 Universal Application (for Windows 10, Windows 10 Mobile) sending sensors data from a Microsoft Band
+    - Xamarin application sending simulated data
 - [Gateways](Devices/Gateways/GatewayService/):
-    - Raspberry Pi supporting several types of device connections (see below) and running a C# service on top of Mono, or .NET Framework on Windows, sending data over AMQP. 
+    - Raspberry Pi supporting several types of device connections (see below) and running a C# service on top of Mono, or .NET Framework on Windows. 
 - [Gateway connected devices](Devices/GatewayConnectedDevices/) (devices connecting to a gateway to send their data)
     - Arduino UNO with one or several of the following sensors
         - Accelerometer Memsic2125