corrected DOT generation bug