Small improvements in the text about anonymity