Nice ! That would fix #6092