fixed fun specs
Merge pull request #4 from manifest/dialyzer-errors-fix

fixed fun specs
merged with upstream