Some clarifications on Run (fixes #127)