Index: firmware/App/Drivers/PressureSensor.c
===================================================================
diff -u -r37d4284f56e175716ea13ae56c621110fa96e53c -rabba5986eed8c2f702ca1ed70afd735a7f31db2a
--- firmware/App/Drivers/PressureSensor.c	(.../PressureSensor.c)	(revision 37d4284f56e175716ea13ae56c621110fa96e53c)
+++ firmware/App/Drivers/PressureSensor.c	(.../PressureSensor.c)	(revision abba5986eed8c2f702ca1ed70afd735a7f31db2a)
@@ -98,7 +98,7 @@
 void readPressureSensors( void )
 {
     // Update and convert raw pressures to mmHg
-    currentPressureReadings[ PRESSURE_SENSOR_ARTERIAL ].data = convertPressureReading2mmHg( getPBAPressure() );;
+    currentPressureReadings[ PRESSURE_SENSOR_ARTERIAL ].data = convertPressureReading2mmHg( getPBAPressure() );
     currentPressureReadings[ PRESSURE_SENSOR_VENOUS ].data   = convertPressureReading2mmHg( getPBOPressure() );
 
     // Update and convert raw pressure sensor temperatures to deg C
@@ -167,8 +167,8 @@
 
 /*********************************************************************//**
  * @brief
- * The getPressure function gets the current pressure sensor temperature (in deg C)
- * for a given pressure sensor.
+ * The getPressureSensorTemperature function gets the current pressure sensor
+ * temperature (in deg C) for a given pressure sensor.
  * @details \b Alarm: ALARM_ID_TD_SOFTWARE_FAULT if given sensor is invalid.
  * @details \b Inputs: currentPresTempReadings
  * @details \b Outputs: none