Legal question regarding name change after divorce