4First, I can confirm your situation. My own renaming of a 712 host resulted in both names listed in the Hostnames panel.
Charlie, the old name cannot be modified nor deleted via the web panel as there is no Modify or Remove link for either displayed names (rows).
FYI, I did a "post-upgrade"/reboot as suggested but both names remain.