Revert "minor change"

This reverts commit 94065b61e64e68b8d109e5a03caede40bcdeae6d.