minor fixes in rationale