Heh ok. Maybe we should fix it in PHP too :-)