>> I am tempted to suggest we turn mark() into a void method, because > I think we should leave it the way it is. > That makes two for the change, one against it. What do the others think? -- Oliver