Renames Symbol encoding name.

Fixes #2797