Hi Chris! On Sat, Apr 17, 2010 at 03:06:28PM -0700, Christopher Head wrote: > I've attached another small patch to the referee box, this one to fix a Thanks for the bugfix, the new version is available on the website (same file names). Armin