Revert "minor fix"

This reverts commit 0f8936f683dc50a626483fd8c2e63f6403efcbf4.