Yes, Actual radius when loaded is shorter. Some years ago I read an article about where the "extra" circumference goes when a tire is rolling.

Confused my simple mind so I took the article to a barber shop and left it on their table. Login to read more.