Revert "minor tweak"

This reverts commit f2d2c6301bb6d1744ace0d217d26bfc50d30cb86.