minor ui
more logging for dialyzer