Fixes case 13077