Fix what looks like a typo after r258732.