Minor change to DOT file maker.