remove superfluous then