Fixes a serious corner_property bug.