I changed the comment, using your proposal.