Fix accidental replacement.

This is why renaming by text replacement is bad. Need to work harder to
have tools that allow renaming symbols directly.