Fixed some bugs with dialyzer