Revert "minor edit"

This reverts commit ecc70df58c6a70799ead54d715b1ba0aac816c2f.
Manually merged in minor edit.