update edocs to reflect dialyzer fixes