The punchcards were updated when the hot fix was done.
They don’t behave in a logical way though, there’s a long discussion about them in this thread which explains why they might not look correct, although the AMR team has implemented them correctly.