Hi. My baby was playing with my nephew and suddenly a thin stick got scratched on the edge of my baby's right eye with nephews hand. He closed his eyes suddenly and cried for a few seconds and after sometime he stopped crying and started playing. visited the doctor. he checked and said there's a little scratch and prescribed Gatilox DM eye drops for 3 days. He seems ok now, but sometimes he rubs that eye. Is it ok?? I'm really worried. pls suggest.