You're not wrong. There's a clip somewhere that clearly shows he was deliberately taken out by Henderson. A clip that was surely available to VAR at the time! [Edited to improve English (!)]