It was a fair call to me. I'd compare it to the Saka claim denied versus Bayern—the contact's possibly even less with Travers starting to get out of Havertz's way, but there's angles and body shapes that get given, and those that don't.
It looked a clear penalty live so it'd need to be twice as clear to reverse it according to the PGMOL logic.