Small adjustment in Repro-Case