Thanks. I'm not a FIPS expert, and I try to avoid having to become a FIPS expert, so I appreciate these corrections. (I've updated the post to encapsulate your

Thanks. I'm not a FIPS expert, and I try to avoid having to become a FIPS expert, so I appreciate these corrections. (I've updated the post to encapsulate your correction.)