Small changes in the comments to Timer.cpp and thread.h