worry? 5 yrs old son really like a girl in his class

My 5 yrs old son really likes a girl in his class e.g.
bring some small gift himself to the girl some days; or
pay all attention to her even he needs to pay attention to the swimming coach in swimming lesson; or
play with the girl only when there are lots of other boys or girls too

Is there anything I need to worry ?