minor adjustments in dot.h