Implementation: nicer arrows in overview diagram