Teeeechnically that’s envy, not jealousy. But only technically, the definition of jealousy has drifted over the centuries. Really it’s more of a fun fact about the original meaning of those words than a real correction.