minor bugfixes in THIMStats