"non-zero top border" in 8.3.1

Second rule in 6th bullet of 8.3.1 (defining position of an empty block which is not collapsing its margins with its parent's top margin) says
"The position of the element's top border edge is the same as it would have been if the element had a non-zero top border."

However adding a non-zero top border changes behavior if the element collapses its top margin with its children.

The same statement would become correct if "top" changed to "bottom":
"The position of the element's top border edge is the same as it would have been if the element had a non-zero BOTTOM border."

Can we make this change?