Thread: minor fixes

I've applied the attached patch; it makes a few trivial fixes, mostly
to comments.

-Neil