4 year old bonked 8wk old baby in head with her head will he be okay?

I was snuggling my 4 year old daughter and 8 week old baby on the couch and my daughter went to lay down on me and bonked 8 week old baby on the head with hers. There is no mark or bruise, and he did cry for about 10 seconds and then stop. Should i be concerned?