> Make a patch using diff -uw and submit it to the patch tracker. I am currently away from my computer so this would have to wait. It is however a difference of literally one character "#", so FWIW IMHO diff-ing it may be a bit of an overkill... Ico