scanf값이 잘 안받아집니다

메뉴 입력 예제에서 처음엔 scanf가 잘 받아지는데

스위치 문을 나가고 다시 메뉴가 보이고 scanf로 다른 글자를 받아야되는데 그게 한번 건너뛰어지고 다시 menu함수가 실행되서 Enter the letter of your choice 글자가 두번 중복되는 문제가 생깁니다. 디버그 해도 원인을 모르겠는데 왜 그런걸까요?..ㅠㅠ

#include <stdio.h>

char input;
int num;

void menu()
{
    printf("Enter the letter of your choice: \n");
    printf("a. avengers\t b. beep\n");
    printf("c. count\t q. quit\n");
    
    scanf("%c", &input);

    switch (input)
    {
    case 'a':
        printf("Avengers assemble!\n");   
        break;
    case 'b':
        printf("\a");
        break;
        
    case 'c':
        scanf("%d", &num);
        for (int i = 1; i <=num; i++)
        {
            printf("%d\n", i);
        }
        break;
    default:
        break;
    }

}
int main()
{
    do {
        menu();
    } while (input != 'q');
   

    return 0;
}