I think that's a subtle Verschlimmbesserung of the original definition.