mikekestemont/minsampling: Erratum - Mike Kestemont (2021)