Fix a typo and type signature of some Safe module functions.