Reporting comment by Thomassen