Remove do

Fixes #10815.