Если у детей (граждан РФ) есть загранпаспорта, то в свидетельство о рождении не нужно ставить штамп о гражданстве РФ для выезда из РФ?

У дочери 13 лет св-во о рождении не спрашивали вообще. Проходила по заграну, в котором её фото в 6 летнем возрасте Несколько раз разные КПП в августе пересекали. С собой было св-во о рождении с печатью о гражданстве на всякий случай, но не доставали.