Revert "minor edit"

This reverts commit 680619f15a3017b63f546d23feff263bed9792a8.