Revert "minor fix"

This reverts commit cc28a89c76b3886934bb092821be3cc6216002c8.