Verification updates for Rene