Closing as this is an cosmetic issue. And even though I like to fix these, the long time of no action clearly shows that it will not happen for this one :-)