Fix for dual-vent-pumps being broken.

Fixes #6501