Fixing a bug in ContactSensor.