small corrections in ssl_gnutls.c