Revert "minor change"

This reverts commit 3b53c6fd5c5934ab58a7a845729006fd29db1546.