Comments have been badly changed automatically.