This fixes #8131.  The sensor is now in place.