Minor changes to Thread class and header files