ensure that properties are initialized