I Made it into the Source

Using $_SERVER["REQUEST_URI"] instead of $_SERVER['PHP_SELF'] when it's empty : Mom be proud of me, my suggestion to the developpers is now part of WordPress code :) Now of course I would have to explain exactly to my Mom the impact of such a subtle tiny change :-Þ