Im Viertelfinale der Miami Open wendet der Weltranglisten-Dritter Jannik Sinner einen Punktgewinn für Tomas Machac ab.