D'oh: fix size computation in ThreadLocalDetail.h