Revert "minor change"

This reverts commit 42aecde289c3e08d7d1b9009b35465d1684f4462.