Minor cleanup for workspace size tracking code.