Revert "minor fix"

This reverts commit b4a35442b91ca491242b2b13d073d731226f7fad.