Что делать, если мальчик ткнул пальцем в глаз ребенку в песочнице: красное пятно, советы?

Добрый вечер, девочки.

Сегодня в песочнице мальчик ткнул свой пальчик прямо дочке в глаз. Вроде бы ничего страшного, подумала я. Но потом обнаружила в глазу у дочери красное пятнышко, маленькое, но волнующее меня... Никогда с такой ситуацией не сталкивалась, подскажите, что-то предпринимать или такие вещи сами быстро проходят?

Спасибо заранее за ответы.