corrected double terminations