Fix a superfluous "do"