Small consistency fix in the intro and sampling sec