corrected Docs in thinker.h