this has been fixed some time ago...