Remove accidentally-inserted character (#331734)