remove superfluous "