Revert "Minor change"

This reverts commit c85935f952548fc79657162ba2088e3b06ce2f6a.