Rename venoms

Fixes #7383.