Revert "Remove inadvertant change."

This reverts commit 328ee3f4ade0791a5be15e483e761f9bb175d44f.