Ah okay, that make sense then. If the red flag had shown BEFORE Manuell had crossed the start/finish then the results would have rewound to the completion of lap 8. But as it was shown AFTER he had crossed the line then he was declared winner which is correct as you say.
Thanks for the clarification.