lib/browser/GraphBrowser/GraphBrowser.java

 		} catch (IOException exn) {
 			System.out.println("\nI/O error while reading graph file.");
 		} catch (ParseError exn) {
 			System.out.println("\nParse error in graph file:");
 			System.out.println(exn.getMessage());
-			System.out.println("\nSyntax:\n<vertexname> <dirname> [ + ] <path> [ < | > ] [ <vertexname> [ ... [ <vertexname> ] ... ] ] ;");
+			System.out.println("\nSyntax:\n<vertexname> <vertexID> <dirname> [ + ] <path> [ < | > ] [ <vertexID> [ ... [ <vertexID> ] ... ] ] ;");
 		}
 	}		
 
 	public void init() {
 		isApplet=true;