Reporting comment by Stevenhof