Copying resource path from within resource editor gives extra /

Open Resource editor for a qrc file, that holds a 

<RCC>
  <qresource prefix="/"> 
    <file>gfx/filenew.png</file> 

    ....

  </qresource>
</RCC> 

Now right-click on the icon and select "Copy resource path" (Resourcepfad in die Zwischenablage kopieren)

The text being copied is: "://gfx/filenew.png"  -> Note the extra /

When you copy the resource path from the project file tree, this is done correctly, i.e. the path ":/gfx/filenew.png" is copied.