[tz] Pedantic correction to Theory regarding size of time zone names