SORRY.  YOU ARE NOT CORRECT.

The whole ball crossed over the goal line, near a corner flag post, last touched by an attacking player.  The restart is a goal kick