Keep list of successful terminals (also fixes a compile error)