Revert "very minor changes"

This reverts commit 111cd8c4190d1fa0832e6f92a9edeb71f7c74280.