3e5f0c9849
We're still way out of sync, but this cleans up a tiny corner. Change-Id: I51e76601785bf351d6418841b56e08a900a84d82