Revert "minor edit"

This reverts commit 9f1c68ebf4028a1caba8a02a74d1296266d5a150.