(typo s/property/properly)