More precision in comment.