Fix a property sorting bug introduced in commit 2ab04da73d9f556c739ea59dc6a623501c7b7ffe.