ShamirSecretSharing: some minor changes