Mückenstiche? Oder was anderes?

Hallo,

mein Sohn hat seit gestern diese beiden Stiche (?) an der Stirn. Erst habe ich an Mückenstiche gedacht, da er auch am Arm einen Stich hat.
Er juckt aber gar nicht…
Er hatte das noch nie, was meint ihr?