NatProps
fix compilation in Ring