Reporting comment by Koercoisy