ewetzha: removed extra ';' which gave compilation warnings in tpool.h