More information on the OpenSSH vulnerability