Minor: improved comment.