Fix a typo and type signature of some Safe module functions.
Merge pull request #28 from matematikaadit/patch-1

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