fixed double terminations