Dialyzer bugs fixed