Added final sections to GnuTLS bug