Yes, good point, see 2a3a60b2a09b127f09ffedb3c12bfcd14ea66398.