Revert "minor fix"

This reverts commit 1baf38f72d676bacfb98fc157fdec552bf78caf8.