Update some nits around the FIPS module