Immagino che questo sia solo un piccolo bug nel meccanismo di markup degli errori. Prova a modificare il codice o chiudi questo editor e aprine uno nuovo. Se hai un elenco di passaggi per riprodurlo, potresti persino creare una segnalazione di bug , quindi viene risolto.