Revert "Minor fix."

This reverts commit 9644141a52328ea297b3c23ce7bf714d548deddb.