Ja, das ist schade, wenn es nur an der Kleinigkeit gelegen hat, wäre es doch in 10 Minuten eintragbar gewesen.
Aber letztendlich muss jeder seine Prioritäten benennen, mehr als Korrekturzeit kann man da schlecht geben. Es sollte nur nicht kommentarlos oder -arm sofort gelöscht werden.