Slight correction in comment.