Fixed a few errors in the property contracts.