Revert "Minor fix."

This reverts commit caa43cea09bb16d5f4ff77467ed0f1b5e07fbacb.