Fix remark from @julianduque