Revert "Minor change."

This reverts commit 202f21a25d0b692dab3e6b2f25cce9b230ab31d4.