Was the puddle right in the middle directly under the vent hole? If so it's probably condensate that build up in the vent, softened some gook in the vent and dripped down. This has been a known problem and the way to prevent it is to keep the vent hole clean by brushing it out periodically.