Revert "mini fix"

This reverts commit 2d5180e70777e63f79328bace609e137d2ec6536.