Fixes in dot generator