Fix some of the comments in the PR tycho just did.