[Resolvido] Encerrar while com ((nota = getchar() != EOF)

Fala galera,

Tô fazendo um programa em C que conta quantas vezes cada nota aparece em uma turma. E para encerrar a pessoa tem que entrar com EOF (end of file). Alem de não dar certo o programa imprime 3x um printf que dei.

Ajuda aeh!!

Lá vai o código:

#include <stdio.h>

int main (void){

int nota;
int ac = 0, bc = 0, cc = 0, dc = 0; //contadores das notas a,b,c,d

printf("Digite as notas em letras.\n");
printf("Digite EOF para encerrar.\n");

while((nota = getchar()) != EOF){

switch(nota){

	case 'A': case 'a': ++ac; break;
	case 'B': case 'b': ++bc; break;
	case 'C': case 'c': ++cc; break;
	case 'D': case 'd': ++dc; break;
	case '\n': case '\t': case ' ': break;
	default:
 printf("Letra de nota incorreta.\n"); //ta imprimindo 3x essa sequencia de print. PQ?
 printf("Digite nova nota");
 break;

	}
}
printf("A: %d\n", ac);
printf("B: %d\n", bc);
printf("C: %d\n", cc);
printf("D: %d\n", dc);
return 0;
}