minor change

Submitting what I anticipate to be the last change on my side. This is
now in PTS for internal review.