remove superfluous ;