formal changes in checkciphers()