Fixed issues with property tests