Fixing bugs that Dialyzer found, adding example.