Update Dialyzer's documentation