War in der regulären, völlig korrekten Nachspielzeit.