Revert "minor fix"

This reverts commit 6f427f027ca05f6b56001eee3622c244d8354bf7.