Revert "minor correction"

This reverts commit aac5f6fca85588e2c0bdb0fab3ec666187fe3a9b.