Fix bug in PressureSensor.