Update comments in trefcountptr.h