OpenSSL issues a bugfix for the previous bugfix

Fortunately, it’s not a major bugfix, which means it’s easy to patch and can teach us all some useful lessons.