Revert "Minor."

This reverts commit daab33520dce985d66eb124851094df690a9479c.