Re-word overview in documentation
Modify dialyzer arguments