Oordeel zelf: was het een penalty voor United?