Do old people shrink in height