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