One more comment fix.

I removed something without thinking.  Whoops.