fixed in my working copy, thanks for spotting this.