Fix test of properties (to verify by jander)