changed two confusing method names (TopTFTerms, TopTFTerms2) in Documents and added comments; updated other affected code