Reporting comment by Josephelort