Gunners were denied a penalty by VAR, but the rules suggest a mistake was made