Baby hitting head

Last night my 12 month old son hit the corner of his eye on the door. He cried for a bit and was fine. He woke up and his eye was red and swollen a bit. He’s acting fine. Should I be concerned?