remove extra semicolon in dot2texi generator