I personally would not worry about that at all. I probably would have done as you did, cleaned it with either just soap and water or maybe some diluted calendula tincture (see Aviva Romm's Naturally Healthy Babies and Children about that), or even peroxide. I do not like to put anything that is like an ointment or salve on things like that until they begin to scab. I sometimes use things like a tea tree/lavender oil combo on a scratch like that. But I personally would not be worried at all about that, because you cleaned it, and it is open to air, it is not deep.