Fixes a few typos in the conversion table for 1.3 symbol names.