Correct a comment.

(This is to simplify ongoing merges to the folders branch.)