Revert "cosmetic tweak"

This reverts commit a89eb9078eee7ca100b19275cdc7960b8c96b84f.