For #1722: properties