Fix FIPS provider value in docs