Revert "Minor change in nothing."

This reverts commit 6bc48e07b7033b9547f8f87dc6fe201790267e39.