Revert "Minor."

This reverts commit 351de30cf7e0245364cc69373ef87888da09b359.