Weird. I just checked out the sources this morning when it wasn't fixed. I guess someone else then just fixed it afterwards. But I'm glad it is finally fixed. Best wishes, Mads.
Denmark