Revert "minor fix"

This reverts commit f536d9271185ba9a600b714aeae4373adc398bc2.