Should Reds have had a late penalty for Jeremy Doku challenge on Alexis Mac Allister?

Jeremy Doku appeared to catch Alexis Mac Allister with a high boot in added time but neither on-field referee Michael Oliver nor VAR Stuart Attwell awarded a penalty; Liverpool and Manchester City drew 1-1, leaving Arsenal top of the table