Technically it should also be using \Z and not $ too, but those are edge cases that people have to decide if they want to fix.