Revert "A minor edit"

This reverts commit 0d559a781c6981291dec86082c43dfc445f1dbcc.