small code changes, added a new Spec to test Properties