Fix in comment.

A minor comment fix.