Same comment as for the other note about the ordering.