NB: not directly related to this issue, but saw spurious/unused.