RE: bug with definition at top-level: